Vitali's Theorem and WWKL
نویسندگان
چکیده
Continuing the investigations of X. Yu and others, we study the role of set existence axioms in classical Lebesgue measure theory. We show that pairwise disjoint countable additivity for open sets of reals is provable in RCA0. We show that several well-known measure-theoretic propositions including the Vitali Covering Theorem are equivalent to WWKL over RCA0.
منابع مشابه
Comparing DNR and WWKL
In Reverse Mathematics, the axiom system DNR, asserting the existence of diagonally non-recursive functions, is strictly weaker than WWKL0 (weak weak König’s
متن کاملOn Differentiation of Integrals and Approximate Continuity
The following discussion is closely connected with Lebesgue's theorem that the derivative of an integral is equal to the integrand almost everywhere. I t is well known that in generalizing this theorem to higher dimensions, great care must be exercised in the choice of the systems of intervals or sets used for ^-dimensional differentiation. Lebesgue had already observed that arbitrary intervals...
متن کاملFinding paths through narrow and wide trees
We consider two axioms of second-order arithmetic. These axioms assert, in two different ways, that infinite but narrow binary trees always have infinite paths. We show that both axioms are strictly weaker than Weak König’s Lemma, and incomparable in strength to the dual statement (WWKL) that wide binary trees have paths.
متن کاملOn Sets of Vitali's Type
We consider the classical Vitali's construction of nonmeasurable subsets of the real line R and investigate its analogs for various uncountable subgroups of R. Among other results we show that if G is an uncountable proper analytic subgroup of R then there are Lebesgue measurable and Lebesgue nonmeasurable selectors for R/G . 0. Introduction In this paper we investigate some properties of selec...
متن کاملMeasurability Properties of Sets of Vitali's Type
Assume a group G acts on a set. Given a subgroup H of G , by an //-selector we mean a selector of the set of all orbits of H . We investigate measurability properties of //-selectors with respect to G-invariant measures. Let us fix a set A and a group G acting on it. By p we denote a G-invariant countably additive measure on A . The most common example of such a situation is an invariant measur...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Arch. Math. Log.
دوره 41 شماره
صفحات -
تاریخ انتشار 2002